Mathematical programming - PDFSEARCH.IO - Document Search Engine

Mathematical programming
Results: 4310

#	Item
151	95 Documenta Math. ¨ wner–John Ellipsoids Lo Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2012-07-25 10:24:47 Geometry Mathematical optimization Mathematics Convex optimization Operations research Convex analysis Convex geometry Ellipsoid John ellipsoid Convex body Linear programming Leonid Khachiyan
152	Computing Fundamentals Salvatore Filippone 2013–2014 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2014-09-23 08:13:16 Software Application software Mathematical software Array programming languages Binary operations GNU Octave Binary arithmetic Octave MATLAB Binary logarithm Division Pitch class
153	Genome Informatics 13: 103–Genomic Sorting with Length-Weighted Reversals Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2002-12-09 05:53:39 Mathematics Permutations Mathematical analysis Combinatorics Sorting algorithms Quicksort FisherYates shuffle Dynamic programming Cyclic permutation Big O notation Bit-reversal permutation Pancake sorting
154	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Technical University Eindhoven, The Netherlands 1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-23 10:50:36 Mathematics Mathematical logic Theoretical computer science Computability theory Proof theory Logic in computer science Type theory Logic programming Lambda calculus CurryHoward correspondence Substitution Generalised Whitehead product
155	McLAB: Compiler Tools for MATLAB Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2012-01-19 08:36:41 Software Computing Application software Array programming languages Numerical software Subroutines Linear algebra MATLAB Mathematical software Scope GNU Octave Array programming
156	48 Automated Design of Synthetic Gene Circuits through Linear Approximation and Mixed Integer Optimization Linh Huynh Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2012-06-06 20:07:08 Biology Gene expression Systems science Systems biology Operations research Molecular genetics Mathematical optimization Synthetic biology Promoter Gene regulatory network Linear programming Artificial gene synthesis
157	A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Mathematics Logic Mathematical logic Type theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol Tuple
158	Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-22 04:30:15 Mathematical logic Logic Theoretical computer science Logic in computer science Predicate logic Philosophical logic Automated theorem proving Logic programming Hoare logic Separation logic Unification Combinatory logic
159	02157 Functional Programming - Collections: Sets and Maps Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:36:17 Mathematics Mathematical logic Abstraction Set Technical University of Denmark Function Category of sets

UPDATE